Fonction hypergéométrique

En mathématiques, le terme de fonction hypergéométrique, parfois sous le nom « fonction hypergéométrique de Gauss », désigne généralement une fonction spéciale particulière, dépendant de trois paramètres $a$ , $b$ , $c$ , notée $2 F 1 (a, b, c; z)$ , parfois notée sans indice quand il n'y a pas d'ambigüité, et qui s'exprime sous la forme de la série hypergéométrique (lorsque celle-ci converge). Selon les valeurs prises par les paramètres, cette fonction correspond à de nombreuses fonctions usuelles ou spéciales, notamment des polynômes orthogonaux. La fonction hypergéométrique est en fait un cas particulier de la fonction hypergéométrique généralisée $p F q (a 1,..., a p; b 1,..., b q; z)$ .

La fonction hypergéométrique est également solution d'une équation différentielle complexe linéaire du second ordre, dite hypergéométrique, comprenant trois points singuliers réguliers. Toute équation différentielle linéaire du second ordre comprenant également trois points singuliers réguliers peut se ramener à cette équation^[1].

Aspects historiques

Le premier usage du terme « série hypergéométrique » est dû à John Wallis dans son ouvrage Arithmetica infinitorum publié en 1656. Ce terme apparaît dans la scholie à la proposition 190 de son livre^[2], où il considère des séries du type :

1-1+2-6+24-120+...=0!-1!+2!-3!+4!-5!+...,

dans lesquelles chaque terme, au lieu d'être multiplié par une « raison » constante comme dans la série géométrique usuelle, l'est par une valeur variant avec le terme considéré, d'où le qualificatif de « hypergéométrique », le préfixe d'origine grecque hyper- signifiant « supérieur à ».

Leonhard Euler a poursuivi l'étude de ce type de série, toutefois c'est à Gauss que l'on doit le premier traitement systématique de ce qui est appelée aujourd'hui la série hypergéométrique, et l'introduction de la notation $F (α, β, γ, x)$ pour désigner la fonction correspondante, dite hypergéométrique^[3].

Au cours du XIX^e siècle, les études sur la fonction hypergéométrique se poursuivent, avec notamment les travaux de Ernst Kummer^[4] et de Bernhard Riemann, qui introduit et étudie l'équation différentielle qu'elle satisfait^[5]. Riemann montre notamment que l'équation différentielle dont est solution $2 F 1 (z)$ , étudiée dans le plan complexe, peut être caractérisée par ses trois singularités régulières en $z = 0$ , $z = 1$ et $z = \infty$ ^[5].

Définitions et propriétés générales

Classiquement, il est possible de définir $2 F 1 (a, b, c; z)$ de deux façons, soit à partir de développement en série entière, qui constitue une série particulière dite hypergéométrique, soit à partir de l'équation différentielle linéaire d'ordre 2 qu'elle vérifie.

Définition à partir de la série hypergéométrique

La fonction hypergéométrique peut être définie pour tout $| z | < 1$ par la série, dite hypergéométrique :

{}_{2}F_{1}(a,b;c;z)=\sum _{n=0}^{\infty }{\frac {(a)_{n}(b)_{n}}{(c)_{n}}}{\frac {z^{n}}{n!}}

.

La notation $(a) n$ représentant la factorielle croissante ou symbole de Pochhammer, donné par :

(a)_{n}={\begin{cases}1&{\textrm {si}}\ n=0\\a(a+1)\cdots (a+n-1)&{\textrm {si}}\ n>0.\end{cases}}

Les paramètres $a, b, c$ sont en général complexes. Si $c$ est un entier négatif ou nul, soit $c = - m$ avec $m = 0, 1, 2\dots$ il est clair que $(c) n$ devient nul dès que $n = m + 1$ , donc la série est divergente^{[n 1]}.

Par ailleurs, de la même façon, la série ne comprend qu'un nombre fini de termes si $a$ ou $b$ est un entier négatif. Dans ce cas, la fonction $2 F 1$ se réduit à un polynôme. Par exemple, si $a=-m\quad (m\in \mathbb {N} )$ :

{}_{2}F_{1}(-m,b;c;z)=\sum _{n=0}^{m}(-1)^{n}{\binom {m}{n}}{\frac {(b)_{n}}{(c)_{n}}}z^{n}

.

L'équation différentielle hypergéométrique

La fonction hypergéométrique $2 F 1 (a, b; c; z)$ est solution de l'équation différentielle linéaire homogène du second ordre :

z(1-z){\frac {\mathrm {d} ^{2}y}{\mathrm {d} z^{2}}}+\left[c-(a+b+1)z\right]{\frac {\mathrm {d} y}{\mathrm {d} z}}-aby=0

.

Celle-ci comporte trois points singuliers réguliers en $z = 0$ , $z = 1$ et $z = \infty$ ^{[n 2]}, et toute équation différentielle linéaire du second ordre ayant trois points singuliers réguliers peut être ramenée à cette équation.

La recherche d'une solution sous forme de série entières (méthode de Frobenius) de la forme $y(z)=\sum _{n=0}^{\infty }{c_{n}z^{n}}$ conduit à la relation de récurrence :

c_{n+1}={\frac {(a+n)(b+n)}{(n+1)(c+n)}}\,c_{n}

, pour tout

n\in \mathbb {N}

.

En fixant $c_{0}=1$ , on obtient la série hypergéométrique ci-dessus.

Formule intégrale

La fonction $2 F 1$ a plusieurs représentations intégrales, dont celle donnée par Euler en 1748 : $Β$ désignant la fonction bêta, si $Re(c) > Re(b) > 0$ alors

\mathrm {B} (b,c-b)\,_{2}F_{1}(a,b;c;z)=\int _{0}^{1}x^{b-1}(1-x)^{c-b-1}(1-zx)^{-a}~\mathrm {d} x

,

pour tout $z$ tel que $| z | < 1$ , ou tel que $| z | = 1$ et que les deux membres convergent. Elle peut se démontrer en développant $(1 - zx) - a$ par la formule du binôme généralisée puis en intégrant terme à terme.

Si de plus $Re(c) > Re(a + b)$ , on en déduit (cas $z = 1$ ) le théorème hypergéométrique de Gauss^[6] :

_{2}F_{1}(a,b;c;1)={\frac {\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}}

,

dont l'identité de Chu-Vandermonde est elle-même un cas particulier.

Cas particuliers

De nombreuses fonctions usuelles peuvent s'exprimer à partir de la fonction hypergéométrique, par exemple^[1] :

(1-z)^{-a}={_{2}F_{1}(a,b;b;z)}

{\frac {\ln(1+z)}{z}}={_{2}F_{1}(1,1;2;-z)}

{\frac {\arcsin z}{z}}={_{2}F_{1}\left({\tfrac {1}{2}},{\tfrac {1}{2}};{\tfrac {3}{2}};z^{2}\right)}={_{2}F_{1}\left(1,1;{\tfrac {3}{2}};z^{2}\right)}{\sqrt {1-z^{2}}}

{\frac {\arctan z}{z}}={}_{2}F_{1}\left({\tfrac {1}{2}},1;{\tfrac {3}{2}};-z^{2}\right)

.

La fonction hypergéométrique confluente (ou fonction de Kummer) correspond à un cas limite (dégénéré) de la fonction hypergéométrique :

{}_{1}F_{1}(a;c;z)=\lim _{b\to \infty }{}_{2}F_{1}(a,b;c;b^{-1}z)

.

Plus précisément, cela revient à effectuer d'abord dans l'équation différentielle le changement de variable $z = x / b, (b \neq 0)$ . L'équation différentielle devient alors :

x\left(1-{\frac {x}{b}}\right)y''+\left(c-{\frac {a+1}{b}}x-x\right)y'-ay=0

,

laquelle admet toujours trois points singuliers réguliers en $x = 0$ , $x = 1$ et $x = \infty$ : le point singulier régulier en $z = 1$ est en fait « déplacé » en $x = b$ . Si l'on prend ensuite la limite quand $b \to \infty$ , il y a « confluence » des deux points singuliers réguliers en $x = b$ et $x = \infty$ , en un point singulier irrégulier en $x = \infty$ , l'équation différentielle devenant à la limite :

xy''+(c-x)y'-ay=0

,

dont la fonction hypergéométrique confluente $M (a, c, z)$ est une solution.

Les fonctions de Legendre sont solutions d'une équation différentielle linéaire du second ordre ayant 3 points singuliers réguliers ; par suite, elles peuvent s'exprimer en fonction de $2 F 1 (a, b, c; b -1 z)$ de multiples façons, par exemple :

{}_{2}F_{1}(a,1-a;c;z)=\Gamma (c)z^{\tfrac {1-c}{2}}(1-z)^{\tfrac {c-1}{2}}P_{-a}^{1-c}(1-2z)

.

Certains polynômes orthogonaux, dont les polynômes de Jacobi $P (α, β) n$ et leurs cas particuliers les polynômes de Legendre, de Tchebychev et de Gegenbauer, peuvent s'écrire en termes de fonctions hypergéométriques en utilisant que

{}_{2}F_{1}(-n,\alpha +1+\beta +n;\alpha +1;x)={\frac {n!}{(\alpha +1)_{n}}}P_{n}^{(\alpha ,\beta )}(1-2x)

.

D'autres polynômes qui sont des cas particuliers incluent les polynômes de Kravtchouk (en), de Meixner et de Meixner-Pollaczek (en).

Les fonctions modulaires elliptiques peuvent parfois s'exprimer comme fonctions réciproques d'un quotient de deux fonctions hypergéométriques dont les arguments $a, b, c$ sont 1, 1/2, 1/3… ou 0. Par exemple, si

\tau ={\rm {i}}{\frac {{}_{2}F_{1}\left({\frac {1}{2}},{\frac {1}{2}};1;1-z\right)}{{}_{2}F_{1}\left({\frac {1}{2}},{\frac {1}{2}};1;z\right)}}

alors

z=\kappa ^{2}(\tau )={\frac {\theta _{2}(\tau )^{4}}{\theta _{3}(\tau )^{4}}}

est une fonction modulaire elliptique de $τ$ .

Les fonctions bêta incomplètes $B x (p, q)$ sont reliées par

B_{x}(p,q)={\frac {x^{p}}{p}}\,{}_{2}F_{1}(p,1-q;p+1;x)

.

Les intégrales elliptiques complètes $K$ et $E$ sont données par

K(k)={\frac {\pi }{2}}\,_{2}F_{1}\left({\tfrac {1}{2}},{\tfrac {1}{2}};1;k^{2}\right),\quad E(k)={\frac {\pi }{2}}\,_{2}F_{1}\left(-{\tfrac {1}{2}},{\tfrac {1}{2}};1;k^{2}\right)

.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hypergeometric function » (voir la liste des auteurs).

Notes

↑ Plus précisément, son rayon de convergence est nul.
↑ Pour ce dernier point, il faut effectuer le changement de variable $w = 1/ z$ dans l'équation différentielle, et considérer la limite quand $w \to 0$ .

Références

↑ ^{a et b} (en) Milton Abramowitz et Irene Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables [détail de l’édition] (lire en ligne), chap. 15, p. 555 s..
↑ D'après (en) Jeffrey C. Lagarias, « Euler's constant: Euler's work and modern developments », Bull. Amer. Math. Soc., vol. 50, n^o 4,‎ 2013, p. 527-628 (arXiv 1303.1856) citant (en) E. J. Barbeau et P. J. Leah, « Euler's 1760 paper on divergent series », Historia Mathematica, vol. 3, n^o 2,‎ 1976, p. 141-160 (DOI 10.1016/0315-0860(76)90030-6), eux-mêmes citant un commentaire de Carl Boehm sur E47.
↑ (la) Carl Friedrich Gauss, « Disquisitiones generales circa seriem infinitam $1+{\tfrac {\alpha \beta }{1\cdot \gamma }}~x+{\tfrac {\alpha (\alpha +1)\beta (\beta +1)}{1\cdot 2\cdot \gamma (\gamma +1)}}~x~x+{\mbox{etc.}}$ », Commentationes societatis regiae scientarum Gottingensis recentiores, Göttingen, vol. 2,‎ 1813, p. 125-162 (lire en ligne).
↑ (de) Ernst Kummer, « Über die hypergeometrische Reihe $1+{\tfrac {\alpha \cdot \beta }{1\cdot \gamma }}~x+{\tfrac {\alpha (\alpha +1)\beta (\beta +1)}{1\cdot 2\cdot \gamma (\gamma +1)}}x^{2}+{\tfrac {\alpha (\alpha +1)(\alpha +2)\beta (\beta +1)(\beta +2)}{1\cdot 2\cdot 3\cdot \gamma (\gamma +1)(\gamma +2)}}x^{3}+{\mbox{etc.}}$ », Journal für die reine und angewandte Mathematik, vol. 15,‎ 1836, p. 39-83, 127-172 (lire en ligne).
↑ ^{a et b} (de) Bernhard Riemann, « Beiträge zur Theorie der durch die Gauss'sche Reihe F(α, β, γ, x) darstellbaren Functionen », Abhandlungen der Mathematischen Classe der Königlichen Gesellschaft der Wissenschaften zu Göttingen, vol. 7,‎ 1857, p. 3-22 (lire en ligne).
↑ (en) Eric W. Weisstein, « Gauss's Hypergeometric Theorem », sur MathWorld.

Voir aussi

Bibliographie

Paul Appell et Joseph Kampé de Fériet, Fonctions hypergéométriques et hypersphériques, Gauthier-Villars, Paris, 1926
Daniel Duverney, Introduction aux fonctions hypergéométriques, Ellipses, 2020
Édouard Goursat, Leçons sur les séries hypergéométriques et sur quelques fonctions qui s'y rattachent, coll. « Actualités scientifiques et industrielles » (n° 333), Hermann, 1936
R. Groux et P. Soulat, Les fonctions spéciales vues par les problèmes, Éditions Cépaduès, 2009
Joseph Kampé de Fériet, La fonction hypergéométrique, coll. « Mémorial des sciences mathématiques » (n° 85), Gauthier-Villars, 1937
Pascal Maroni, Fonctions hypergéométriques - Fonctions de Bessel, Techniques de l'ingénieur, Document A160, 1997
Alfred Pringsheim et Georg Faber, « Séries hypergéométriques », dans Jules Molk (éd.), Encyclopédie des sciences mathématiques pures et appliquées, t. II, vol. 2, Gauthier-Villars, 1911 (Fonctions de variables complexes, p. 91-93)
(en) James B. Seaborn, Hypergeometric Functions and Their Applications, Texts in Applied Mathematics, vol. 8, Springer, 1991

Portail de l'analyse

[6] Plus précisément, son rayon de convergence est nul.

[7] Pour ce dernier point, il faut effectuer le changement de variable $w = 1/ z$ dans l'équation différentielle, et considérer la limite quand $w \to 0$ .

[AbramowitzStegun-1] {a et b} (en) Milton Abramowitz et Irene Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables [détail de l’édition] (lire en ligne), chap. 15, p. 555 s..

[2] D'après (en) Jeffrey C. Lagarias, « Euler's constant: Euler's work and modern developments », Bull. Amer. Math. Soc., vol. 50, n^o 4,‎ 2013, p. 527-628 (arXiv 1303.1856) citant (en) E. J. Barbeau et P. J. Leah, « Euler's 1760 paper on divergent series », Historia Mathematica, vol. 3, n^o 2,‎ 1976, p. 141-160 (DOI 10.1016/0315-0860(76)90030-6), eux-mêmes citant un commentaire de Carl Boehm sur E47.

[3] (la) Carl Friedrich Gauss, « Disquisitiones generales circa seriem infinitam $1+{\tfrac {\alpha \beta }{1\cdot \gamma }}~x+{\tfrac {\alpha (\alpha +1)\beta (\beta +1)}{1\cdot 2\cdot \gamma (\gamma +1)}}~x~x+{\mbox{etc.}}$ », Commentationes societatis regiae scientarum Gottingensis recentiores, Göttingen, vol. 2,‎ 1813, p. 125-162 (lire en ligne).

[4] (de) Ernst Kummer, « Über die hypergeometrische Reihe $1+{\tfrac {\alpha \cdot \beta }{1\cdot \gamma }}~x+{\tfrac {\alpha (\alpha +1)\beta (\beta +1)}{1\cdot 2\cdot \gamma (\gamma +1)}}x^{2}+{\tfrac {\alpha (\alpha +1)(\alpha +2)\beta (\beta +1)(\beta +2)}{1\cdot 2\cdot 3\cdot \gamma (\gamma +1)(\gamma +2)}}x^{3}+{\mbox{etc.}}$ », Journal für die reine und angewandte Mathematik, vol. 15,‎ 1836, p. 39-83, 127-172 (lire en ligne).

[Riemann-5] {a et b} (de) Bernhard Riemann, « Beiträge zur Theorie der durch die Gauss'sche Reihe F(α, β, γ, x) darstellbaren Functionen », Abhandlungen der Mathematischen Classe der Königlichen Gesellschaft der Wissenschaften zu Göttingen, vol. 7,‎ 1857, p. 3-22 (lire en ligne).

[8] (en) Eric W. Weisstein, « Gauss's Hypergeometric Theorem », sur MathWorld.

[1]

[2]

[3]

[4]

[5]

[n 1]

[n 2]

[6]